Safe Incremental Design of UML Architectures
نویسندگان
چکیده
IDF is an Incremental Development Framework which supports the development and the verification of UML models for reactive systems. IDF offers refinement and extension techniques allowing liveness properties to be preserved during the model developments. Here, we improve the framework in order to analyze models from a safety point of view. For this purpose, we associate IDF with the experienced tools of safety analysis based on the BIP language by translating UML models into BIP. We demonstrate on a basic example the complementarity of liveness and safety analyses.
منابع مشابه
Incremental Design and Formal Verification with UML/RT in the FUJABA Real-Time Tool Suite
Model checking of complex time extended UML (UML/RT) models is limited today due to two main obstacles: (1) The state explosion problem restricts the size of the UML/RT models which can be addressed and (2) standard model checking approaches cannot be smoothly integrated into the usually incremental and iterative design process. The presented solution for incremental design and verification wit...
متن کاملOn the Extension of UML with Use Case Maps Concepts
Descriptions of reactive systems focus heavily on behavioral aspects, often in terms of scenarios. To cope with the increasing complexity of services provided by these systems, behavioral aspects need to be handled early in the design process with flexible and concise notations as well as expressive concepts. UML offers different notations and concepts that can help describe such services. Howe...
متن کاملDesigning software product lines with UML - from use cases to pattern-based software architectures
designing software product lines with uml 2.0: from use designing software product lines with uml from use cases designing software product lines with uml from use cases designing software product lines with uml from use cases designing software product lines with uml from use cases designing software product lines with uml from use cases software modeling and design uml use cases patterns and ...
متن کاملUML Notation Extensions for Product Line Architectures Modeling
The purpose of this paper is to define the extensions of the UML standard specification for the explicit representation of variations and their locations in software product line architectures based on a design method already established. The method will benefit a more familiar and widely used notation, facilitating a broader understanding of the architecture and enabling more extensive tool su...
متن کاملSimulation Modeling of UML Software Architectures
Quantitative analysis of software systems is being recognized as an important issue in the software development process. Performance analysis can help to address quantitative system analysis from the early stages of the software development life cycle, e.g., to compare design alternatives or to identify system bottlenecks. Modeling software systems by simulation allows the analyst to represent ...
متن کامل